Integer programming - PDFSEARCH.IO - Document Search Engine

Integer programming
Results: 382

#	Item
201	OpenCL™ Language OpenCL™ Tutorial, PPAM 2009 Dominik Behr \| September 13th, 2009 OpenCL™ language is subset of ISO C99 With exceptions: Add to Reading List Source URL: gpgpu.org Language: English - Date: 2014-08-11 19:24:49 Software Application programming interfaces Computer programming Khronos Group Write Integer GPGPU Computing OpenCL
202	University of Scranton ACM Student Chapter / Computing Sciences Department 23rd Annual High School Programming Contest (2013) -----------------------------------------------------------------------------Problem 1: Footra Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2013-04-05 00:20:18 Scheme Integer factorization Discrete mathematics Coding theory Information theory Theoretical computer science
203 $Elementary arithmetic / Field theory / Group theory / Number / Pi / Continued fraction / Fraction / Integer / Rational number / Mathematics / Abstract algebra / Elementary mathematics$	University of Scranton ACM Student Chapter / Computing Sciences Department 11th Annual High School Programming Contest (2000) ------------------------------------------------------------------------------ Problem 1: Con Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2007-08-26 21:22:31 Elementary arithmetic Field theory Group theory Number Pi Continued fraction Fraction Integer Rational number Mathematics Abstract algebra Elementary mathematics
204	University of Scranton ACM Student Chapter / Computing Sciences Department 13th Annual High School Programming Contest (2003) ------------------------------------------------------------------------------ Problem 1: Min Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2007-08-26 21:18:01 Fibonacci numbers Number Integer sequence Sequence Integer 0 Pi Fibonacci word Mathematics Abstract algebra Elementary mathematics
205	University of Scranton ACM Student Chapter / Computing Sciences Department 12th Annual High School Programming Contest (2002) ------------------------------------------------------------------------------ Problem 1: Fib Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2007-08-26 21:20:40 Algebra Fibonacci number Sequence Number Integer Abstract algebra Mathematics Elementary mathematics
206	RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el Add to Reading List Source URL: www.isoc.org Language: English - Date: 2008-01-28 17:23:31 Data types Software bugs Computer arithmetic Type theory Type safety Integer overflow Signedness Buffer overflow protection C Computing Software engineering Computer programming
207	Efficient Querying of Inconsistent Databases with Binary Integer Programming ∗ Phokion G. Kolaitis Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:31 Conjunctive query Theoretical computer science Boolean conjunctive query Relational database SQL FO Stable model semantics Relational model Database theory Data management Computing
208	Pascal Validation Suite Report Pascal processor identification The ACK-Pascal compiler produces code for an EM machine as defined in [1]. It is up to the implementor of the EM machine whether errors like integer overflo Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Psychometrics Procedural programming languages Software testing Tests Control flow For loop Statistical hypothesis testing Pascal ALGOL 68 Software engineering Computing Programming language theory
209	RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Data types Software bugs Computer arithmetic Type theory Type safety Integer overflow Signedness Buffer overflow protection C Computing Software engineering Computer programming
210	A Tutorial on Omega The Omega calculator is a text-based interface to the Omega library, a set of C++ classes for manipulating integer tuple sets and relations. Its applications include dependence analysis, program trans Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-04 03:07:47 Software engineering Data dependency Dependence analysis I1 Computing Computer programming Functional languages Compilers Q

UPDATE